41. Category theory and computer science : Paris, France, September 3-6, 1991 : proceedings

پدیدآورنده :

کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)

موضوع : Computer science - Congresses,Categories )Mathematics( - Congresses

رده :
QA
.
S86
75
.
5
1991

42. Category theory and computer science : Paris, France, September 3-6, 1991 : proceedings

موضوع : ، Computer science-- Congresses,، Categories )Mathematics(-- Congresses

۲ نسخه از این کتاب در ۲ کتابخانه موجود است.

43. Category theory and computer science: Paris, France, September 3-6, 1991, proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Computer science,Congresses ، Categories )Mathematics(

رده :
QA
76
.
L28
Vol
.
530

44. Category theory and computer science : 7th International conference, CTCS'97, S. Margheria Ligure, Italy, September 1997 : proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Computer science -- Mathematics,Congresses ، Categories )Mathematics(

رده :
QA
76
.
L28
Vol
.
1290

45. Cellular Automata and Discrete Complex Systems

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Cellular automata -- Congresses.,Computer science -- Mathematics -- Congresses.,ماشین‌های خودکار سلولی -- کنگره ها ,علوم کامپیوتر -- ریاضیات -- کنگره‌ها

رده :
QA
267
.
5
.
C45
2015
E-Book
,

46. Cellular Automata and Discrete Complex Systems

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Cellular automata -- Congresses.,Computer science -- Mathematics -- Congresses.,ماشین‌های خودکار سلولی -- کنگره ها ,علوم کامپیوتر -- ریاضیات -- کنگره‌ها

رده :
QA
267
.
5
.
C45
2015
E-Book
,

47. Cellular automata and discrete complex systems :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Cellular automata, Congresses.,Computer science-- Mathematics, Congresses.,Cellular automata.,Computer science-- Mathematics.

رده :
QA267
.
5
.
C45

48. Cellular automata and discrete complex systems :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Cellular automata, Congresses,Computer science-- Mathematics, Congresses,Software

رده :
QA267
.
5
.
C45

49. Certified Programs and Proofs :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer science -- Mathematics -- Congresses.,Computer software -- Congresses.,Formal methods (Computer science) -- Verification -- Congresses.

رده :
QA76
.
9
.
M35
E358
2012

50. Certified programs and proofs :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer science-- Mathematics, Congresses

رده :
QA76
.
9
.
M35
C37
2011eb

51. Coalgebraic methods in computer science :

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Computer science ; Mathematics ; Congresses. ;

52. Coalgebraic methods in computer science

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer science-- Mathematics, Congresses,Computer software-- Mathematics, Congresses

رده :
QA76
.
9
.
M35
W67
2012eb

53. Coalgebraic methods in computer science :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer science-- Mathematics, Congresses.,Computer software-- Mathematics, Congresses.,Artificial Intelligence.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computer programming-- software development.,Computer science-- Mathematics.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Mathematical theory of computation.,Mathematics-- Logic.

رده :
QA76
.
9
.
M35

54. Combinatorial Optimization and Applications

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Combinatorial optimization -- Congresses.,Computer science -- Mathematics -- Congresses.,بهینه‌سازی ترکیبی -- کنگره ها ,علوم کامپیوتر -- ریاضیات -- کنگره‌ها

رده :
QA
164
.
C6
2015
E-Book
,

55. Combinatorial optimization and applications

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Combinatorial optimization, Congresses,Computer science-- Mathematics, Congresses

رده :
QA402
.
5
.
C63
2012eb

56. Combinatorial optimization and applications :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Combinatorial optimization-- Data processing, Congresses.,Computer science-- Mathematics, Congresses.,Mathematical optimization, Congresses.,Computational complexity.,Computer network architectures.,Computer science.,Computer software.,Electronic data processing.

رده :
QA402
.
5
.
C5423
2017

57. Combinatorics on Words

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Discrete Mathematics in Computer Science,Combinatorial analysis -- Congresses,ریاضیات گسسته در علوم کامپیوتر,آنالیز ترکیبی -- کنگره‌ها

رده :
QA
164
.
W6C6
2015
E-Book
,

58. Complexity of computation

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Machine theory,Congresses ، Computer science -- Mathematics,Numerical analysis ، Electronic data processing

رده :
QA
267
.
C57

59. Computational topology in image context :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer science-- Mathematics, Congresses.,Computer vision, Congresses.,Image processing-- Digital techniques, Congresses.,Computer science-- Mathematics.,Computer vision.,Image processing-- Digital techniques.

رده :
TA1634
.
I58
2019eb

60. Computational topology in image context

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer science-- Mathematics, Congresses,Computer vision, Congresses,Image processing-- Digital techniques, Congresses

رده :
TA1634
.
C75
2012eb